<?php

class BasicModule extends WebModule {
	public $defaultController = 'hotel';
}

?>